Fix typo in sdc/options.h