minor fix for G++ templates