UCT: Debug print fixes