small fixes in doc.go