Fixing a silly error that was caused by the MacOS file system being case insensitive