Another minor HTML5-related fix

Signed-off-by: Michael Eshom <oldiesmann@oldiesmann.us>