made minor tweaks

doing this with the github webeditor, we will see how this goes.