Removed an obsolete command alias.