Correct erroneous comment in public header.