Fix minor mistake in the scoping