bugfix in 'warnings'