Minor fix: preprocessor