Add FIXME around sad workaround