Add comment about the workaround.