small documentation correction