Fix failure in docs