Fixed an erroneous comment