Fix mistake in 59512d5e9dad1cab2e5a5465dbeb7ae90fe5a128.