Very minor changes to tie loose ends before branching