I'm not sure I agree, and this is currently correct, so I'd rather just add a comment.