Is there an external party that needs to know about this bug, such that if/when it's fixed, this fix below might break?