Added quote and eval in eval_with_k