Bug in GWT fragment shader