Here and a few other places @ryanlecompte  mentioned seem to be missing the application of `t`