Fix: html5 compilation