Fix compiler error in debug mode