Minor clean up in the rule