Why do we need to enable `html5` here?