Simple extensions for `doc-view'