More formatting in how_it_works.md