Remove obsolete alias