Fix CS/doc for PR #303