Error in the algorithm (however encoding and decoding works). Fix on its way.