Bug fix: avoid duplicate tool buttons.