Fixes problem where gnome-help-browser would segv for info docs. From maintainer Nils Nordman <nino@nforced.com>.