Am I missing something here - why is this double-preprocessed?