fix for a warning