[#3451] Lint fix.