Some bug fixes wrt getting the new lensing stuff to work with demo11.py
(#305)