Minor edits for #308.