Corrections by Marcin Woliński and Adam Twardoch.