bugfix in minus