fix wrong typing