Bug/Deficiency in logcontract

The following shows a problem in logcontract (in the current cvs at
least):


(%i1) logcontract(log(x)+log(2));
(%o1)                              log(2 x)
(%i2) logcontract(log(x)-log(2));
(%o2)                           log(x) - log(2)

%o1 is correct, but shouldn't %o2 be log(x/2)?

David