This fixes a potential leftover from the original translation.
Other changes:
- Some Travis-reported errors are also fixed as a result, this helps lowering
the associated failure count.
- The dead_links.sh script error message is improved to better pinpoint
the kind of reported error (Markdown vs HTML link).