fixing timer_sleep designdoc