Errata: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory