Fixed generation of constructors for generated Records