bugfix: the routine curl3_inplace(uk) gave wrong results