Deductions & credits

You are correct. If your personal (non-employer) contributions are included in the Box 12 Code W entry then they will not appear anywhere else on your Form 1040.