Why do we need to remove the type checking here (and same below)?