Slightly modified --help output