Change to record notation (understood by CC).