fix encoding issue in print