JS: console.log workaround for IE