Typechecking fix.