Minor update to the developer documentation.