fix defrecord doc error

The defrecord documentation had an errant "user," which was apparently left over from a proposed but never accepted feature.