A note on the structure of tungsten carbide