Small correction to the comment