Minor defrecord documentation improvement