Minor edits for #104.