fix syntax in doc comments