Fix over-fussy gcc warning