Update highmagic.lua