The mechanic didn’t reset the inspection due warning on my dashboard after he serviced the van. It took much internet sleuthing to find out how to do it myself, but I eventually succeeded. It is not the most obvious procedure, but fortunately it is possible and I didn’t have to take the van back to the mechanic to do it.