Multiple command-line options work again.