What would you suggest? To avoid spaces between <code>]</code> and <code>s</code> I would have to introduce a new token for <code>]s</code>, or not?