index.html: fix the link to source_map