Fix examples on IE9 (fixes #904)