(!) Fix: bug in "new version detected"