Apply a few small fixes to devel-docs

Very great work! Here's some fixes for a few glitches / inconsistencies.
@saivann I guess so.  I'm not sure how I did that, but thanks!