minor tex edit