fixed devel.html