fix error message format in ctuple utility code