Several minor updates

including ABC & Functional Programming