Fix: typechecking.