Before revision:  Comput. Sci. 2009], but we realized that there was an apparently non-fixable flaw in their proof  .
After revision:  Comput. Sci. 2009], but there was a flaw in their proof .