another slight version info tweak