Fix command line options link

Cheers!