Wasserschaden Decke: muss der Vermieter die ganze Decke streichen oder nur Schadstelle ausbessern?

In unserer Mietwohnung ist an der ca. 20qm Decke ein ca. 1qm Wasserschaden/-fleck entstanden. Die Ursache ist unbekannt (es sind nicht die Mietwohnungen oben), vermutlich ist es eindringendes Regenwasser gewesen.

Der Vermieter hat es sich angesehen. Da der Fleck inzwischen trocken ist und sich 2 Wochen lang nicht verändert hat, lässt er den Schaden durch seine Versicherung (welcher Art ist uns nicht bekannt) begleichen und während einer kurzen Abwesenheit malern.

Nach der Rückkehr sehen wir nun, dass nur der Fleck selber weiß übergestrichen wurde und nicht die gesamte Decke.

Dass nicht der gesamte Raum gestrichen werden muss (denn deren Anstrich ist bereits ein wenig angegilbt), ist uns klar. Aber u.E. hätte er bzw. seine Versicherung doch die Decke streichen müssen. Das OLG Koblenz hat doch mal geurteilt, dass nicht der Raum, aber doch die eine betroffene Wand gestrichen werden muss (Oberlandesgericht Koblenz (Az.: 2 U 209/10))!?

Hat hier jemand Erfahrung und kann Auskunft geben, was nun richtig ist?! Danke.