[misc] Fix mistake in previous commit (should be isolated by default)