Oh, and here I always thought it just doesn't rename the file at all. NTFS is case-sensitive but Explorer is only case-preserving, so I thought it was just assuming I typed in the same name. When I wanted to change the case of a file name, I always renamed the file first to something else, eg. "Foo.txt" => "bar.txt" => "foo.txt". Thanks for the information :).