Minor fix. ---- Changes in omake-branches/jumbo: +1 -1 merge-branch A hyperlinked version of this commit is available at http://svn.metaprl.org/commitlogs/omake/2007-08.html#07/08/03.17:05:55