Fixed a bug in getDerived