Fix a bug in alias creation