Fixes a small mistake in the last commit.