dvr: fix stupid compilation mistake (fixes #2038)