Fix some printing errors.