just some indt-related random stuff