Fix a -Wshadow warning