BUG: resetting to the old segment register not working