#12415: Fix some doctests in sagenb

See http://trac.sagemath.org/sage_trac/ticket/12415