Improved implementation of Record.Version