Minor syntactic improvements to the documentation.