Fix error (gcc 4.9?)