Typofixes

Fixed a couple of small typos in python.html and dev.html