#528: Fix HTML 5 example