Additional debugging code