Copy-paste error; called DefTensorEnd DefTensorBeginning.