Bug fix in aladdin.py