python notes about 'with'