Fixed bug in RecordC.hasLabel.