Minor workding in the comment