VersionProxy: code formatting fixes