#116: Fix case-bug not occuring on Windows.