fix minor bug in developer-documentation