Removed useless command-line option.