Added ignored doctest

Let's hope this doesn't break everything...