Fixing to compile with gcc v4.7.2.