More debugging statements for kitty