Fix a mistake in editing the wrong file