Fix incorrect file name in an error message.