a mysterious change of version
now, it's not needed