Fix the rule for void returns