Fix incorrect deprecated_option syntax.