Fixing an old warning.