fix dev.html