Tailrec annotation on normalise

Minor refactoring