JBTIS: added debugging