Fixed another runaway implicit. Fixed a record encoding mismatch.