Errata per github issue #165