Ah, sí, gracias por señalarlo. En realidad había un Contribute > Bug aquí; acabo de subir una solución: