Fixup a comment that inadvertently got a bunch of asterisks tossed in