Minor edits for #255.