Fix a stupid bug in timer_sleep