corrected small error in markalloc