Update doc/developer.md