small docbook webpage fixes