Minor fix in ifdefs