Added some comments to timer_sleep() explaining what we need to do