Minor edits for #83