Some small fixes in the Sartano protocol