small improvements, among which addition of << operators