Fixed small mistake in sed line that edits 10_linux