minor CLASS.dtx