Minor edits for #232.