Fix desugaring of record update (fixes Trac #2735)