FIX some doctests