Minor edits for #184.