Also fix gl::function.