Error in alias name definition (suggested by A. Colla)