Title: Aladdin revisited