fix bug in hotdog_unlock