fix the defrecord tests