some fixes to make docbook valid