Minor bugfix of wrong inheritance