Fix corner doc tests