More debugging statements for tranvis