Minor edits for #103.