tiny modification of a comment