Minor edits for #87.