Fix error in docs.