Small improvement; updated submodules.