Merged https://github.com/KhronosGroup/WebGL/pull/194 from 1.0.2 branch ...

...to trunk.