Some EECMS doc conventions