removed unnecessary Thematism import