Some minor improvement to our user documentation.