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 we realized that there was an apparently non-fixable flaw in their proof , which we identify and discuss here .