docbook conversion typos fix, pointed out by chandankumar