Delete mark_not_busy()