another quick hotfix