Fixed embarrassing mistake in command-line tools.