Tiny change in documentation