Fix corner doctests