Correct option name. #4066.