fix dev documentation

I have fixed the dev documentation...