STV counter: Fix behaviour
STV counter: Fix behaviour

RunasSudo/helios-server-mixnet,RunasSudo/helios-server-mixnet,RunasSudo/helios-server-mixnet,RunasSudo/helios-server-mixnet,RunasSudo/helios-server-mixnet