being slightly anal about python style