If we introduce this getter it should be used (nearly) everywhere.