Got rid of the extraneous procedure definition