deactivated debugging code