Formatting change in the comment to be more consistent with Alex's formats.