delete some extraneous characters accidentally included in last change.