Removed obsolete part of the workaround comment