Minor fix to remove compilation warnings on g++