correction from Andrew Brazhuk