Added subscript to identity matrix in definition of C_2