minor notation change in cntrcolim