Corrected a "bug" in a comment which was submitted by msch.