[#3213] Code formatting fix.