Set-add bug