Fix a trivial compile warning