Some debugging statements to try to find this annoying crash