Fixed a mistake in the previous commit.