Minor tidying.
Don't show definitions in splits.