We don't need to include ostream there