remove superfluous aliases

Should we remove this alias as well?