extensions: fix of a small syntactic error with templates (not all compilers complain)