Bugfix Release 0.1.3

This is a small but significant bugfix release that corrects the behavior of case-insensitive mode but does not change any APIs. It is recommended to upgrade if you used version 0.1.2, since the case-insensitive matching would almost never work as intended in that release (and probably most or all earlier releases too).