Fix pushed merged mistake in previous commit