Fix-up Docbook XML broken in f4046b508a5a7