Thank you! I verified that the bug is now fixed.