avoid man being disabled in the future if somebody forgots to remove the workaround