Added debugging messages