[PATCH] docbook: fix segfault in docproc.c