Fix docs for `impl_solve`.