Fix warning when generating docbook