Bug correction on edit predicate