Just a minor fix to a filename