Fix trivial mistake on devtest.md