Thank you for reporting the problem. It is fixed now.