Yes it is correct. We release 5.19.0.1 as a patch version, just like 5.19.0.2. And there were already db changes implemented for the upcoming 5.20.0 release. The db version in itself is not coupled to the Activiti release version. But with the release of Activiti 5.20.0, it will be in line again.