Makes switch_spec pass