make sure we call $stdin.gets