another fix for a warning