Fix mistake in earlier commit.