Fixed small typo in a proof