cosmetic tweaks to dev guide