Apply a few small fixes to devel-docs

Very great work! Here's some fixes for a few glitches / inconsistencies.
@harding This is already applied on those two pages on bitcoin.org:master (IIRC, this class was added recently as part of the "Report An Issue" pull request), so you probably just copied this part from an old branch that didn't include this recent commit.