Slight fix for IE compatibility (#23)