Update options.h