hahahaha whoops

just noticed that I'd forgotten to supply the previous substitution in
the call to computeSubstitution1 which was what'd made me add that
argument to the function in the first place.