Fix misc_tools