RM: removed debugging code