documentation update: state not computed after false postcondition
Update copyright year
Small fixes
Seems that taking out the new line causes trouble