Fixed segfault from nachos -q 30