reverting unnecessary change to option_spec.hpp