= routing: correction of spec labeling for proxy directives