continue our habit of specifying the default in the manpage