djvulibre: cosmetic changes.