Small change in docs.