Fix proof error