added semi-colons to records type labels