fixed some printf statements. -MM