Fixup ws_queue_push()