Bug corrected

Matching file names produced with HTML