Prefix fix

Implementation: Closing of prefix is wrt. backward procedure