Fix a bug in deflation example