Don't cast to a set twice