* Minor fix to run on Jetty