I think, the two issues are not related, as I stated in my post.
As far as I know, no fix has been provided. Since I do not text too much, it does not annoy me a lot. As a workaround you could use an alternative SMS app, such as SMSdroid.