Minor edits for #350.