adding debugging messages