hotfix for a strange bug