Removed the comment from the examples; they would no longer apply after the flush() change.