Fixed a small bug in the partialCaseClassDerivative extension