Unused properties in WebGLMaskManager constructor (two more)