It seems the problem is still there in 3.14:What's new in 3.8:
*) fixed removing external routes from OSPF;
"routing ospf route print" shows:
227 x.x.x.x/32 imported 20 0.0.0.0
BUT
ip route print where dst-address=x.x.x.x/32
shows nothing. Traffic loops. The user is not connected (it used to be connected with pppoe).
If I disable redistribute-connected and then enable it again the route reappears in the ospf routing table.