Some tweaks, added license regarding HTML5 port.