Fixed mistake in DESCRIPTION made by earlier change.