Misc
Fix small gcc warning