stdin is now correctly flushed after scanf