#1230 Instantiated forgotten template class