minor documentation correction