Minor warning-fix.