Small formatting fixes to VERSIONING