remove unnecessary template (compilation error under Linux)