We recently bought a house and the survey report says a small amount of repointing is needed on one wall. Specifically, it says the gaps should be raked out to a certain depth and repointed with lime based mortar. However, the existing mortar is cement (1950s house). So if we followed the surveyor's instruction, this would be a small amount of lime mortar on top of the existing cement. Is this beneficial/a good idea?