Fix parsing and checking empty record annotations.