debugging messages added