Add comment about the workaround used here