One small edit to printing