remove obsolete alias