dropped the now superfluous command line option