Small fix in doc.go