Add some literate comments