"This is a happy development."