wmllint gui: fixed a bug in regexp handling