fix for g++ error