Apply a few small fixes to devel-docs

Very great work! Here's some fixes for a few glitches / inconsistencies.