clean thmtools import