Tweaked comment at top of definition