fix error: 'option' undeclared