Minor bug fix (filename conversion)