Problem with redistributing into OSPF (v6.20)

I have a production router running RouterOS 6.20 (CCR1016-12G).

It was redistributing connected and static routes into OSPF, as expected:

[Mikrotik] > /routing ospf instance export
set [ find default=yes ] metric-bgp=16777214 metric-default=20 metric-other-ospf=16777214 name=core redistribute-connected=as-type-1 redistribute-static=as-type-1 router-id=172.16.0.1

I enabled redistribution of BGP into OSPF:

[Mikrotik] > /routing ospf instance set core redistribute-bgp=as-type-1 metric-bgp=auto
[Mikrotik] > /routing ospf instance export
set [ find default=yes ] metric-default=20 metric-other-ospf=16777214 name=core redistribute-bgp=as-type-1 redistribute-connected=as-type-1 redistribute-static=as-type-1 router-id=172.16.0.1

BGP routes were redistributed, as expected. However all existing connected and static routes were removed from OSPF (they were redistributed correctly beforehand).

I eventually fixed this by disabling and re-enabling the appropriate redistribution:

[Mikrotik] > /routing ospf instance set core redistribute-connected=no redistribute-static=no
[Mikrotik] > /routing ospf instance set core redistribute-connected=as-type-1 redistribute-static=as-type-1

I cannot reproduce this problem in a lab setup (with newer RouterOS). I cannot find anything in the RouterOS Changelogs that looks remotely like this issue.

Has anyone seen this before? Can anyone point me to documentation that indicates this issue has been fixed in a newer RouterOS release?