Adjusted filename in git merge output

The previous operations on iss53 were clearly on index.html, so the merge output should reflect that too for consistency. :)