Issue #209: Fixed a comment