Updating: improving prelude-doc