NASA didn’t catch an error in the International Space Station’s data until a kid pointed it out