Fix (hopefully) legal header warning in queue.h