correct mistake in awk script