Please report any bug you find to bagnara@cs.unipr.it.