An empty set a square brackets was removed when the context is empty.