Fix bug of aladdin.py