Small fix for Gcc 4.6