Nitpick: the rule is there already, is this comment really needed?