Use auto for readability. No functionality change.