`@synopsis` is unnecessary when you've defined the option above.