Fix formatting in DevManual.md