Minor edits for #310.