Update catena.h