@pcwalton Sure, done. For the record, I agree. Python convention uses a leading underscore which is a bit nicer, but it is better to be more explicit. Thanks.