* Fixing getdef