fixed a small bug in docs.