DOC fix bug in devguide.rst