Erratum to: The Pi Polymorphism