Add abstract of this workaround