Minor edits for #245.