Fix for NIL extensions