Puddle lights not shutting down for 15 minutes

[Numbe]

Has anyone else experienced this problem: The puddle lights come on when you leave the car but then don't go off until exactly 15 minutes later.

Any setting, or just a bug?

Damn annoying in any case, even if the lamps probably don't draw much current. But this time of year you want to save every single electron, don't you...