Minor update to the developer's documentation.