Make small improvements and corrections to code and to literate documentation.