Update prodigy.el