Updated tests for version number
Fixed bug with record-with