Fix some errata