#45: fixes push_queue? method