Typo in defrecord example