Fixing some errata