Minor edits for #85