Some extra commentary and a couple doc fixes for demo12
(#467)