Minor edits for #302.