Fixes by c24b.
FIX by c24b
FIX: errors in exo 45.
Merge remote-tracking branch 'upstream/master'