debugging statements, related to #155