Erratum to: A Monadic Semantics for Quantum Computing in Featherweight Java