Minor formatting tweaks in the module docs