BUG: fix a bug in reading the genetic code in the p53 example