minor change on Versioned.version()