PrettyPrint now also works with AJAX requests