Fix: examples not cleared for the succeeding definition