Slight change in implementation of standardisation

* Less code
* Makes it easier to prove termination of the
  algorithm