Verified that this fails without the change below