diff --git a/src/fr/inrialpes/exmo/align/service/HTMLAServProfile.java b/src/fr/inrialpes/exmo/align/service/HTMLAServProfile.java
index 77c74013ec586baff8319dfd77006ed9b7bc1948..d8bcea3ea2ae5caf26ac35c7e0b5b396711791bf 100644
--- a/src/fr/inrialpes/exmo/align/service/HTMLAServProfile.java
+++ b/src/fr/inrialpes/exmo/align/service/HTMLAServProfile.java
@@ -195,12 +195,11 @@ public class HTMLAServProfile implements AlignmentServiceProfile {
 			// if no FilterConfig
 			// e.g., it uses /tmp and keeps the files
 			filter.doFilter( request, dummyResponse, new Chain() );
-			// Extract parameters from response
-			if ( request.getAttribute("pretty") != null )
-			    params.setProperty( "pretty", request.getAttribute("pretty").toString() );
+			// Apparently a bug from Jetty prevents from retrieving this
+			if ( request.getParameter("pretty") != null )
+			    params.setProperty( "pretty", request.getParameter("pretty").toString() );
 			if ( request.getAttribute("content") != null )
 			    params.setProperty( "filename", request.getAttribute("content").toString() );
-			//System.err.println( " >>>> Read: "+params.getProperty( "pretty" ) );
 			filter.destroy();
 		    } else if ( mimetype != null && mimetype.startsWith("text/xml") ) {
 			// Most likely Web service request (REST through POST)