Fix Bug 17: Write set not used during update