Use 'auto' for easier reading; no functional change intended.