Workaround and bug exposure for IE8 and PrettyPrinter