GCC 4.7 complained about this