Thanks for the hint. Fixed now.