Good point. Definitely not worth changing this then.