documenting workaround