Fix example of using `defrecord`