lowercase mappings, since JSON does it anyway. Fixes #84