Fix J.Tibell style for record syntax: add line before '}'