fix Alexei's bug in UCRelaxedClockModel