fix error: 'option' undeclared #2854