Re #940 - fix typo in filename