Updating: improving doc-BOOK-INT2PROGINATS.