removed extraneous line in last revision