Slight update to the developer documentation.