hopefully silencing yet more nvcc warning