Development doc fixes

Some small fixes. Please take a look at them so I didn't "verschlimmbessern" anything :)