Type check is ok. I think...