fixed a proc spec