Minor fixes picked up in Dec 2014 SOA class