javascript includes more correct for IE10