Usual post-final typo fix. v8.1 FINAL