bugfix in toolkit