A few improvements to the prelude-models.el