python: python script heading