Astronauts fix air leak on the International Space Station