removing rogue call to fflush using stdout (a previous change that got trashed in the recent merged?)