pushing fixes to my linux box

(don't have python IDE on that box -- will fix tomorrow)