Whoops, fixed last-minute undo manager breakage in previous commit.