typo in Corollary 1