Fixed minor mistake in previous commit.