It appears the timing has been corrected. I drove through the intersection at least three times in the past couple of weeks and made it through both green lights! Thanks Arlington Traffic Department.