Minor edits for #105.