Some improvements on LogiServ, also considering Wout's explanations