[#3224] Another submodule update and style fixes.