[ update ] doc/tex, minor