Minor edits for #303.