Fix aladdin.py