Fix small error in docs.