Minor edits for #196.