Rename a local variable (as per a comment on #1129)

This addresses @philc's comment on #1129.