Good to know. It still needs to be fixed though :-)