Hotfix 7.5.1 released