fixed bug introduced by this merge in CompileDataStructures