This line can be combined with the lines above (i.e., get rid of `var`).