Minor edits for #262.