Minor edits for #82