Update octo.h