Minor updates to the developer docs