Small fix in Theorem 1.