should probably remove these debugging statements