Fix another build warning spotted by travis-ci.