Erratum: CAMELOT: a computer-aided measure for logic testability