Small correction to a comment