fix type in sytnax.html page