Small documentation correction