Fixing TOOLS-2416