tweak to ie console.log workaround #630