Fixed a bug in infExactDerObs.m