Fix 2 READMEs

Author: spmaniato

README.md

@@ -14,12 +14,13 @@ The nominal workflow is depicted in the diagram below:
 
 For `vigir_ltl_specification`, you need:
 - [`ReSpeC`](https://github.com/team-vigir/ReSpeC) for compiling LTL specifications from the high-level user requests
+
 For `vigir_ltl_synthesizer`, you need:
 - [`slugs`](https://github.com/LTLMoP/slugs) synthesizer for LTL synthesis (an [installation script](https://github.com/team-vigir/vigir_behavior_synthesis/blob/master/vigir_ltl_synthesizer/install_slugs.sh) is provided)
 
-For using the entire stack, you also need:
+For using the full stack, you also need:
 - [`flexbe_behavior_engine`](https://github.com/team-vigir/flexbe_behavior_engine) for sending synthesis requests via the FlexBE app's GUI and for access to the `StateInstantiation.msg`
-- [`vigir_behaviors`](https://github.com/team-vigir/vigir_behaviors) for access to a library of states and for saving the synthesized behaviors
+- [`vigir_behaviors`](https://github.com/team-vigir/vigir_behaviors) for access to the library of states and for saving the synthesized behaviors
 
 ### Maintainers:
 - Spyros Maniatopoulos ([@spmaniato](https://github.com/spmaniato), [email protected])

vigir_ltl_synthesizer/README.md

@@ -9,7 +9,7 @@ Currently, it only supports `slugs`, a synthesis tool for the GR(1) fragment of
 
 > Slugs is a stand-alone reactive synthesis tool for generalized reactivity(1) synthesis.
 
-> ['https://github.com/LTLMoP/slugs'](https://github.com/LTLMoP/slugs)
+> [`https://github.com/LTLMoP/slugs`](https://github.com/LTLMoP/slugs)
 
 > Copyright (c) 2013, Ruediger Ehlers, Vasumathi Raman, and Cameron Finucane