Fix erroneous comment