fix JS filename snippet substitution