Typo fix in doc HTML redirect.