Built-in manual gave wrong command-line arguments. Fixed.