Fix erroneous filename reference.