Fix a merge error with Tools.lua