Fix for g++-4.6