this fixes an issue with older compilers (gcc 4.7.0)