Replacing __getattribute__ by a simpler __getattr__