Some trivial build documentation generation fixes