Minor reformatting of documentation