Fix version stuff for html interface

Thanks @ebolyen!