Yet another fix to pre-c++2011 compilation.....