(doc) Fixed doc annotations for ignoreable doctests.