Fix formatting in wsgiserver