Clean up some loose ends in cotangent.tex