What was the name of the devil before being cursed?