Fix Dockbook Typo