set_timed_lock(): fix debug output.