added HTML pretty printing