only one-line description
Merge pull request #593 from claudemarche/master

fixed description of why3 0.81