A few printing fixes.