Fix mistake in previous commit b454c3a