fix wrong types