Indeed you are absolutely correct, the strings are stored in a case insensitive radix tree which can cause some odd capitalizations when reconstructing the strings back from the bank. This is done for efficiency reasons but does have that slight consequence.