This PR changes this submodule. Is it correct?