try adding semis to make ie9 happy