Fix examples/galgabra