yes, as someone who sold their UK property in July (top of the sellers market) and is currently buying in Tenerife (start of a buyers' market) that is interesting.
of course it doesn't tell you over what period these falls have occured etc, but from our research on prices in our immediate area (El Medano), I'd say that 5% fall sounds under rather than over.
I think even the estate agents are going to have to admit this, and recognise that it's now a buyers' market, and not hide behind the 'correction' euphmisms - OK it may be a "correction", but let's call a spade a spade ... what it actually means is a drop in (over)prices, over supply, under supply of buyers, and hence a buyers' market.
from a buyer's point of view it could be a great time to snap up a bargain