Fix case in filename

I presume that this hasn't been noticed by others because they were using Windows.