Remove unnecessary fflush for #9.