Small change in docs