Fix the Termlets not being found