Fix typo in the abstract
Fix issues in Apps. C and D found by Fred