one-letter change ... hmmm, perhaps the original code was written on an OS with a case-insensitive file system ... must cause lots of Jobs for people on other OSes ...