issue 129: correct name of file