Minor edits for #345.