added a couple of print utilities for debugging