fix bug found in weenet