add comment
remove DottedPair::operator<<