btw thank you for reporting the bug