Fix bug involved by migration to TTK