You're right, it's pretty clear even if not wholly explicit.  I'm easy either way, happy to let it stay as-is.