gnmvalgrind: fix warning.
Number match: plug leak.