Fix a build warning. Let's keep ourselves warning-free!