opengl.org update 2013-02-14 - fixup