This is a minor correction to bch18a.