added property getter/setters in python style