Minor edits for #246.