minor: documentation correction