fix doc-view annoying behavior