fixbug: last published synthesis