Actually make symbols downcased. (Fixed part of issue #18)