David fixes the NULL pointer read out from front_queue_read