Fix mistake in code example