Oops, I forgot one thing. On Tue, Aug 19, 2014 at 10:26:26AM +0300, Jarmo Jaakkola wrote: > On Tue, Aug 19, 2014 at 12:08:44AM +0000, David Holland wrote: > > It may have been done wrong though. > > Then it has been done wrong. :) And without updating the manual page to match. -- Jarmo Jaakkola