Bug: OSPF translation on NSSA

I have an issue when using nssa and translation.

Given the following topology:

R1 ↔ R2 ↔ (wireless link / switch) ↔ R3

R1 is in area 0.0.0.0
R2 is an ABR for area 0.0.0.0 and 192.168.1.0
Area 192.168.1.0 is an NSSA
R2 is set to translate-always
R3 is an ASBR (redistributing static/connected) in area 192.168.1.0

When all adjancies form everything is correct. Specifically, R1 will have an external route to R3’s redistributions.

However when R2’s adjacency for R3 trasitions to DOWN due to a dead interval (not due to a link state event), R1 will maintain routes to R3’s redistributions. I’m not sure if this is due to R2 still sending translated LSA’s or R1 not updating that these LSA’s no longer exist.

Is a forum post the best way to handle this, or should I be trying the support email?

EDIT: Forgot to mention that the routers are running 4.10