fixed an erroneous comment