DOC fix bugs in devguide.rst