Fix dev doc formatting

Part of #232.