These changes look fine.