Add a debugging printf for now.