Thank void! Rated 5 out of 5 stars

Thank you thank you thank you. It does precisely what it says and fixes a very annoying bug for me. Well done.