fix minor issues
improve ACI specifications
generic output format