taking out debugging messages