'clock.ping(who, time)' does not fail with type error anymore