implement RecordImpl.toString()