Update definitions.md -- minor tweaks.