bugfixes: cost and augmented syn cost