miscellaneous documentation and coding style fixes