Minor edits for #341.