Fix proj not being folded correctly