Minor edits for #277.