Slight updates to the developer documentation.