Some toString()s for debugging.