Fixed a bug caused a long time ago, which _extremely_ fortunately has not changed behaviour (any change in the arguments and it would have been very obvious something was broken).