Oh right, shadowing here is legal (makes sense). Thanks, I changed it.