minor tweaks to developer-guidelines