minor clarification to class/c contract spec