dvbci.cpp: another small fix