Fix title for Pushdown Automata section.