Right, but default setting for allowed-versions is 7.13+ … so downgrade to 7.16.2 should be possible.