Forgot to do nbstripout in previous commit