fix some lingering docbook to markdown conversion errors