minor fixes and devdocs index