minor change in RedundantCalibrator