minor changes to how docs build