Fix for Bug 25015 <https://www.w3.org/Bugs/Public/show_bug.cgi?id=25015>

Fix typo identified in Bug 25015 <https://www.w3.org/Bugs/Public/show_bug.cgi?id=25015>