Cite correct umbrella bug for this workaround