Update Html5.hs

uh oh... There might be more cases like this.