Fix synopsis in man page.