Thanks to Petr Kulda for finding this.