Fix thread_timeout specification