bugfix: inherited signatures can not be specialized