Fixing string-foldcase to always use non-final small sigma.
Fixes issue #217.