That's sensible. I've updated the patch.