minor fix for html5shim