Clarified documentation a tiny bit