fix a couple of documentation and formatting issues