Fixed a tiny bug in aliasmanager