Thanks for the info.

I've just never seen a bare ground wire going into a box before.