Forgot to flush stdout