Fixing typcheckhelper