Add call to flush standard out after each call to print()