bugfix in warning