Minor updates to the developer-guide.