comment redefinition of ticks_type.