Fix problem in generating pattern matching code for records