Many thanks for the bug report, this is now fixed.