minor document format changes