concurrentqueue: Comment modified on empty()