fix small error in developer documentation