update to 677b6bd159b1993747c1327c78df55f2acf96eae on codon