Fix a wmllint crash