Formatting and minor annotations to documentation.