By convention we don't add versions to head-only formulae (I think)