style
debugging code