Update avalia.h