New tokenisation format
Fix old bug