Remove no-longer-used alias