make section numbering in proposal match up with rest of document
make code formatting in language tutorial consistent