Fix html5 pretty printing for non optimized pages