Fix typo in help of prove command