Minor typo in defensive notebook