typo in options.gd