Added output to show correctness