Tiny change in doc