The `::` operator is useless in front of getline