adjust some trivials