A fixed-up version, thanks to Alex Kost.