Minor reformatting and editing