Bug fix in register allocator?