Work around bizarre alias bug.