Minor edits for #181.