Viewing of NFAs also works now