Improve dfa.c if not MBS.
More doc improvements.