fix error in Dev-Tools