I think this downcase can be removed, since we downcase immediately below.